25. モナドの代数